../lib/misc.h